predicate calculus
A notation for representing logical statements which
goes beyond {propositional calculus}.
Where a statement (logic) is concerned only with direct
relationship it is usually called a {propositional logic}.
The simplest of these is known as classical or {Boolean}
propositional logic, in which it is assumed that all
declarations have a definite truth value; a declaration is
either true or it is false.
Where a statement (logic) is concerned not only with direct
relationship but also with the internal structure of the
declaration, it is usually called a predicate logic.
{Predicate Logic
(http://www.rbjones.com/rbjpub/logic/log019.htm)}.
[Better explanation? Distinguish predicate from propositional
and logic from calculus? Examples?]
(1998-01-25)